%{
#include<stdio.h>
#include<set>
set <int>s;
int num=0;
float sum=0;
%}
digit [0-9]
letter [A-Za-z]
id {letter}({letter}|{digit})*
number {digit}+(\.{digit}+)?(E[+\-]?{digit}+)?
name [NAME]
idnumber [0-9]{9}
%%
{idnumber} {printf("201492146");}
{name} {printf("HYJ");}
{letter} {printf("%s",yytext);}
{number} {sum=2*atof(yytext)+201492146.0+0.5;
          sum=int(sum);
	  printf("%d",sum);
	  s.insert(sum);
	  num++;}
%%
int main()
{
yylex();
printf("%d,%d\n",number,s.size());
return 0;
}
int yywrap()
{
return 1;
}

